Send the following on WhatsApp
Continue to ChatXerrada "Sobre el Lean Theorem Prover" a càrrec de Marc Masdeu (UAB) https://mat.upc.edu/resolveuid/81f97189bd514a598fb5cd0031df0bd5
Xerrada "Sobre el Lean Theorem Prover" a càrrec de Marc Masdeu (UAB) https://mat.upc.edu/resolveuid/81f97189bd514a598fb5cd0031df0bd5